
/**
 * This class represents a   DoubleCookie
 *
 * Invariants: top != null; bot != null; filling != null
 */
@Author("David Schibl")
public class DoubleCookie extends Cookie {
	
	private SingleCookie top;
	@SuppressWarnings("unused")
	private SingleCookie bot;		// not used in the code, still needed for the correct representation of a doublecookie
	private Fill filling;
	
	/**
	 * Creates a new DoubleCookie object.
	 * 
	 * @param top
	 * 		Upper SingleCookie
	 * @param bot
	 * 		Lower SingleCookie
	 * @param filling
	 * 		Filling
	 */
	public DoubleCookie (SingleCookie t, SingleCookie b, Fill f) {
		//t != null; b != null; f != null
		top = t;
		bot = b;
		filling = f;
		//top != null; bot != null; filling != null
	}
	
	/**
	 * @return
	 * 		Returns a description of a doublecookie
	 */
	@Author("Roman Puenguentzky")
	public String toString(){
		return "a " + top.getShape().toString() + " shaped double cookie, made of " + top.getDough().toString() + ", "
				+ "filled with " + filling.toString();
	}

}
